Embedding DRT in a Situation Theoretic Framework
نویسنده
چکیده
This paper proposes the use of situation theory as a basic semantic formalism for defining general semantic theories. ASTL, a computational situation theoretic language, is described which goes some way to offering such a system. After a general description of Discourse Representation Theory an encoding of DRT in ASTL is given. Advantages and disadvantages of this method are then discussed. Topie: computational formalisms in semantics and dis-
منابع مشابه
Some Diierent Approaches to Drt
This paper discusses some issues in various approaches to Discourse Representation Theory. This is not intended to be detailed descriptions of various systems but general comparisons between both implementations of DRT and descriptions of DRT in some other context (e.g. a situation theoretic framework). The intention is to show how close (or how diierent) these approaches are and which aspects ...
متن کاملUsing a Computational Situation Theoretic Language to Investigate Contemporary Semantic Theories
One of the problems with contemporary semantic theories of natural language, such as Situation Semantics, Discourse Representation Theory and Dynamic Semantics, is that although they address similar semantic phenomena their widely diiering syntax and semantics make it diicult to compare their treatments of similar natural language semantic phenomena. It would be useful to describe these diieren...
متن کاملA Process Algebraic Approach to Situation Semantics
We propose a way to base Situation Semantic to a computational ground of concurrency and to linear logic. One of the core ideas of Situation Semantics is ecological realism, the idea that meaning arises from the interaction between a cog-nitive agent and his/her environments. We model both the agent and environments as a process and study the interaction as a system of communicating processes. ...
متن کاملExploring a type-theoretic approach to accessibility constraint modelling
Accessibility constraints When dealing with anaphora resolution, anaphoric expressions are often considered to have access to a restricted set of discourse referents. The choice of the relevant discourse referent inside this set may depends on various kinds of information (morphosyntactic features, semantic features, salience. . . ). But theories that give a dynamic interpretation of language a...
متن کاملWhen is Situation Semantics Allowed?
Quantification over individuals seems to be all we need to capture the covariation in (1a). It has been proposed within the framework of situation semantics (Kratzer 1989) that there can also be quantification over situations. The most convincing case is that of quantificational adverbs (Berman 1987, Heim 1990, von Fintel 1994)—I will be assuming in this paper that the correct analysis of these...
متن کامل